Testing Multi Input/Output Transition System with All-Observer
نویسندگان
چکیده
Multi input/output transition system (MIOTS) models the interface distribution of a system by partitioning its inputs and outputs into channels. The MIOTS refusal testing theory has been based on singular observers. Such an observer is useful for eliminating nondeterminism in the testing process, but also contributes to the large size of the test suites. We propose an alternative type of observers: all-observer, which can observe all the output channels simultaneously, and help to reduce a test suite effectively. An algorithm is presented to generate an all-observer test suite from the specification. The derived test suite is sound for all MIOTS systems, and complete for a class of MIOTS systems that are common in practice. We also discuss the problem of factorized all-observer test generation. Our work complements the MIOTS refusal testing with singular observers.
منابع مشابه
Design and Implementation of Discrete Time Observer Based Backstepping Controller for a 2DOF Servomechanism
The two degrees of freedom servomechanism has many applications, including in gimbaled seekers. These mechanisms require closed-loop control to perform properly. In this paper, an observer-based multi-input-multi-output hybrid controller is designed for a two-degree-of-freedom servomechanism. Since in the model presented in this paper, disturbances on the mechanism are considered, so an extende...
متن کاملA Novel Qualitative State Observer
The state estimation of a quantized system (Q.S.) is a challenging problem for designing feedback control and model-based fault diagnosis algorithms. The core of a Q.S. is a continuous variable system whose inputs and outputs are represented by their corresponding quantized values. This paper concerns with state estimation of a Q.S. by a qualitative observer. The presented observer in this pape...
متن کاملRobust H_∞ Controller design based on Generalized Dynamic Observer for Uncertain Singular system with Disturbance
This paper presents a robust ∞_H controller design, based on a generalized dynamic observer for uncertain singular systems in the presence of disturbance. The controller guarantees that the closed loop system be admissible. The main advantage of this method is that the uncertainty can be found in the system, the input and the output matrices. Also the generalized dynamic observer is used to est...
متن کاملA State Observer for Nonlinear Delay Systems with Delayed Output
This paper presents an asymptotic state observer for the class of nonlinear dynamic systems with time-delay both in the dynamic equation and in the output equation. In previous works state observers have been studied only for nonlinear systems with delay in the state equation and without delay in the output equation and for nonlinear system with only output delay. Su±cient conditions are given ...
متن کاملAdaptive fuzzy backstepping output feedback tracking control of MIMO stochastic pure-feedback nonlinear systems with input saturation
In this paper, the adaptive fuzzy backstepping output feedback tracking control problem is considered for a class of uncertain stochastic multi-input and multi-output (MIMO) nonlinear systems in pure-feedback form. The stochastic MIMO nonlinear systems under study have unknown nonlinear functions, input saturation and immeasurable states. By using fuzzy logic systems to identify the uncertain n...
متن کامل